GAME OF NAMES IN BAROQUE POETRY

A game semantics of names and pointers

We describe a fully abstract semantics for a simple functional language with locally declared names which may be used as pointers to names. It is based on a category of dialogue games acted upon by the group of natural number automorphisms. This allows a formal, semantic characterization of key properties of names such as freshness and locality. We describe a model of the call-by-value λ-calcul...

modernist poetics as reflected in the poetry of selected modernist poets

فن شعر (poetics) که پیش از این به معنای مطالعه ی شعر و شیوه های آن بود در قرن بیستم در مفهوم گسترده به نظریه ی ادبی و مشخصه هایی که سبب پیدایش ادبیات است، اطلاق می شود. نوگرایی (modernism) بیش از آنکه از نقطه نظر زمانی دارای اهمیت باشد، گویای زمینه های فکری و اجتماعی است که تحولاتی بنیادین را در هنر و ادبیات رقم زد. تی. اس. الیوت، تی. ئی. هولم و ازرا پاوند از مهمترین نظریه پردازان نوگرایی هستند...

Baroque Technology

As new interactive systems evolve, they frequently hit a sweet spot: A few new tricks to learn, and users gets tremendous benefits, simplifying their lives. But beyond that lies the dark phase of baroque technology: increasing complexity with little payoff. We will look at examples for both sweet-spot and baroque interactive technologies, from GPS devices to window systems, find out how to iden...

The Power of Syntopism: Chinese Poetic Place Names on the Map of Early Japanese Poetry

Playing Biology's Name Game: Identifying Protein Names in Scientific Text

A growing body of work is devoted to the extraction of protein or gene interaction information from the scientific literature. Yet, the basis for most extraction algorithms, i.e. the specific and sensitive recognition of protein and gene names and their numerous synonyms, has not been adequately addressed. Here we describe the construction of a comprehensive general purpose name dictionary and ...